I was expecting to write about a paper I found recently by Oran Magal, a post doc at McGill University, On the mathematical nature of logic. I was attracted to the paper because the title was followed by the phrase Featuring P. Bernays and K. Gödel

I’m often intrigued […]